c formula generated with seed 0, probabilty values 0.414000 0.028000 0.503000 and clause ration 4.410000
c the planted solution is {1, 2, 4, 5, 7, 9, 10, 14, 15, 16, 17, 19, 26, 29, 31, 32, 35, 39, 40, 41, 42, 44, 45, 46, 47, 48, 49, 51, 53, 54, 55, 56, 58, 61, 63, 64, 65, 72, 74, 76, 78, 79, 80, 81, 82, 83, 84, 85, 91, 95, 97, 98, 99, 100, 103, 105, 106, 108, 110, 111, 113, 114, 115, 117, 121, 123, 124, 125, 127, 128, 133, 135, 136, 137, 138, 139, 140, 144, 151, 153, 155, 156, 157, 158, 162, 163, 164, 170, 172, 173, 174, 176, 178, 179, 181, 184, 185, 186, 187, 188, 189, 192, 193, 197, 199, 204, 205, 210, 211, 212, 213, 214, 215, 218, 221, 224, 226, 229, 230, 235, 238, 241, 243, 244, 245, 246, 247, 249, 252, 253, 254, 255, 257, 260, 261, 262, 263, 265, 266, 267, 269, 272, 273, 278, 279, 281, 282, 284, 285, 288, 291, 292, 294, 295, 297, 299, 302, 304, 307, 317, 320, 322, 323, 324, 325, 326, 328, 329, 330, 334, 335, 336, 338, 339, 341, 343, 344, 347, 349, 350, 353, 356, 358, 359, 360, 362, 366, 368, 369, 370, 371, 372, 375, 383, 384, 387, 388, 389, 390, 391, 396, 398, 399, 400, 404, 405, 407, 409, 415, 416, 417, 420, 425, 426, 427, 433, 435, 436, 437, 438, 439, 442, 444, 445, 446, 447, 450, 451, 452, 453, 454, 455, 456, 457, 458, 460, 462, 465, 466, 467, 469, 472, 473, 475, 476, 480, 481, 488, 492, 495, 500}
p cnf 500 2205
-226 178 -140 0
-273 -155 246 0
461 -334 35 0
401 -464 -213 0
37 -52 -384 0
-436 -283 70 0
236 -159 102 0
-182 266 -67 0
-310 -359 -358 0
-372 -177 -144 0
-115 183 197 0
-362 -469 158 0
65 -397 257 0
483 -32 320 0
453 -27 -346 0
302 -87 176 0
130 -239 259 0
172 -149 -3 0
-384 294 22 0
-366 479 -248 0
-241 -240 -482 0
159 -387 462 0
272 278 -331 0
-167 -184 -404 0
115 77 -151 0
-416 322 448 0
194 -105 -361 0
-282 94 29 0
-77 122 -97 0
-437 -164 350 0
358 190 89 0
-91 3 181 0
-310 107 13 0
-453 272 219 0
142 154 -180 0
77 37 460 0
352 178 259 0
-430 121 -34 0
-404 -226 269 0
441 298 294 0
-55 114 62 0
-444 -225 -26 0
453 406 -370 0
-138 444 -70 0
-461 117 266 0
297 -109 409 0
-235 54 424 0
-109 -296 -337 0
-346 -408 -46 0
-373 334 -485 0
-174 344 -193 0
-287 116 -433 0
391 60 251 0
444 243 371 0
423 55 497 0
247 -448 -129 0
-115 208 -493 0
369 -459 -171 0
211 225 321 0
78 347 475 0
221 -379 260 0
-273 430 -177 0
431 75 -166 0
308 420 434 0
323 14 -107 0
433 -307 287 0
-141 28 -103 0
-134 -3 210 0
-154 -289 -90 0
-368 -433 -201 0
216 37 117 0
317 306 71 0
-192 -122 89 0
291 437 371 0
23 -318 -178 0
-173 276 26 0
-248 109 -215 0
-134 -384 -184 0
-30 429 298 0
481 241 425 0
-226 -398 396 0
-169 -42 -76 0
-452 423 -449 0
22 40 448 0
438 74 -352 0
93 -119 -39 0
-285 -208 96 0
-4 370 -192 0
462 -134 460 0
-285 294 22 0
484 -256 -399 0
-124 120 -482 0
295 179 -346 0
231 -409 192 0
-19 -475 -22 0
-335 -291 -408 0
250 -268 385 0
-464 352 30 0
382 104 387 0
-20 -167 -201 0
-222 224 -406 0
483 147 262 0
-110 -209 487 0
-481 21 48 0
-101 62 303 0
-111 -9 -312 0
453 129 478 0
289 394 325 0
106 455 72 0
347 274 -173 0
-356 11 218 0
-60 420 106 0
-300 3 274 0
-241 -380 -64 0
-88 446 -209 0
-407 -390 -3 0
-356 -296 -78 0
433 5 341 0
268 112 -68 0
-483 198 448 0
-244 -357 220 0
305 -285 -464 0
-304 207 -332 0
385 -312 255 0
275 18 -499 0
439 26 -268 0
-43 -491 -107 0
-2 -475 -312 0
-246 -176 110 0
-259 285 -440 0
-175 -209 495 0
301 64 89 0
-477 334 -364 0
9 -16 -387 0
-212 -470 -396 0
87 -3 -55 0
-413 184 304 0
217 47 482 0
457 322 -89 0
-406 -427 366 0
247 76 378 0
335 49 99 0
-187 -475 192 0
58 141 -185 0
-457 309 -394 0
253 -223 -152 0
397 -65 257 0
-253 -83 362 0
326 -149 140 0
321 221 311 0
-348 20 489 0
-463 -431 48 0
-227 -150 -237 0
121 -34 -30 0
417 -273 -14 0
-159 276 -10 0
119 9 485 0
437 -217 173 0
251 -85 56 0
-92 -332 40 0
358 -200 369 0
3 -346 -438 0
242 273 337 0
74 -147 -107 0
124 -323 147 0
-31 -391 61 0
74 357 -427 0
43 -418 -435 0
-155 -133 181 0
122 297 250 0
-276 102 -53 0
-469 -134 -176 0
451 152 352 0
388 -303 -256 0
422 122 -498 0
-230 41 200 0
-193 -150 431 0
287 -239 -476 0
-248 -115 -230 0
-75 49 -219 0
-121 378 417 0
-164 307 -453 0
-328 -158 302 0
-33 -127 190 0
36 359 -253 0
-453 -15 -333 0
46 -173 -199 0
136 315 393 0
-147 44 359 0
174 453 113 0
155 -498 433 0
-32 -275 180 0
380 376 45 0
-253 250 63 0
69 -42 495 0
251 360 71 0
240 -373 -398 0
-44 -385 -257 0
99 -498 -348 0
68 94 -376 0
229 -33 278 0
303 -429 -185 0
472 -3 -18 0
-191 -96 311 0
102 -250 401 0
-455 274 136 0
114 457 -21 0
69 1 92 0
-375 142 197 0
-265 -147 -436 0
273 146 259 0
-418 -65 -269 0
-48 427 11 0
-410 345 37 0
-235 82 -417 0
409 -316 242 0
-330 -90 -369 0
-379 -181 313 0
267 -178 12 0
-148 401 -456 0
-199 454 289 0
299 -495 149 0
-422 499 -48 0
72 197 -38 0
-306 -307 -292 0
-117 131 266 0
416 -362 30 0
-319 -240 -493 0
489 -183 -100 0
-218 318 279 0
-326 159 -274 0
122 -249 -309 0
-476 -157 -283 0
-324 333 -220 0
-250 -300 -36 0
-199 -186 91 0
315 8 -289 0
145 289 224 0
-380 212 63 0
60 -458 -293 0
-293 -457 160 0
234 137 -172 0
-398 -341 178 0
-94 -438 275 0
212 -244 -42 0
294 -324 285 0
432 -171 348 0
-441 -290 252 0
364 248 137 0
-107 -43 -96 0
-386 -145 -498 0
192 34 -409 0
-161 373 11 0
-5 376 -314 0
30 476 59 0
445 -143 -431 0
389 -140 94 0
265 -78 231 0
112 -77 231 0
-175 -190 -271 0
104 -85 144 0
-218 -266 48 0
-23 101 -2 0
200 215 -397 0
-50 -452 227 0
358 52 280 0
-185 371 287 0
89 241 277 0
-358 309 229 0
-119 375 111 0
-236 152 393 0
317 17 -487 0
-88 63 113 0
284 -439 -451 0
-347 -224 -410 0
-266 2 -14 0
-59 -290 349 0
-478 -30 -468 0
-308 -286 54 0
294 -364 -499 0
485 183 325 0
-386 248 -35 0
-40 -142 337 0
-496 -446 487 0
273 262 -376 0
339 -146 260 0
313 -50 222 0
467 336 100 0
-423 -4 -47 0
-350 -188 371 0
-338 -250 -500 0
269 418 -455 0
297 36 374 0
272 -47 -368 0
111 498 316 0
255 410 37 0
-355 390 -354 0
-189 -183 243 0
-470 -63 -224 0
465 93 491 0
-408 449 -244 0
-226 44 -405 0
79 -464 -109 0
55 173 415 0
107 112 344 0
-317 260 -456 0
82 -5 -409 0
-57 67 -304 0
-429 -273 -49 0
-282 -321 408 0
-269 -247 99 0
-71 -36 -311 0
-357 342 157 0
-91 -393 -151 0
-395 -414 26 0
473 234 21 0
113 -311 -195 0
55 350 2 0
296 355 76 0
462 22 67 0
21 102 -311 0
223 -205 -431 0
251 154 230 0
51 420 -251 0
-38 53 41 0
-154 -94 -43 0
452 -286 -483 0
-434 -305 42 0
82 36 -188 0
-268 100 211 0
-406 245 188 0
282 412 331 0
-359 6 -216 0
256 -471 -61 0
393 -387 -119 0
178 -357 469 0
395 369 -189 0
-314 -119 439 0
74 -422 45 0
450 -188 271 0
205 89 -77 0
-310 445 -342 0
129 136 -299 0
124 -84 -439 0
-455 -123 17 0
-215 171 -256 0
1 314 -9 0
-187 155 -214 0
354 -357 -218 0
354 37 -159 0
-26 21 -394 0
-178 -251 119 0
-320 386 405 0
-309 -432 -232 0
-442 -318 -341 0
-89 134 -184 0
-446 -29 -11 0
-116 -169 106 0
353 -94 475 0
348 -490 401 0
421 -387 -397 0
-121 119 -499 0
-266 388 -475 0
-452 -184 -296 0
-8 458 416 0
271 -306 198 0
-465 142 -28 0
-67 -477 123 0
473 317 -283 0
140 -46 131 0
-85 494 253 0
-3 -418 -92 0
474 -48 -471 0
10 331 38 0
-256 11 -297 0
-430 -471 476 0
-221 -56 358 0
312 -252 106 0
60 313 55 0
-255 -479 217 0
-45 -157 85 0
65 487 -214 0
233 -290 154 0
-231 119 -294 0
491 -474 -295 0
-126 -457 -323 0
-421 354 -416 0
-12 395 -40 0
168 82 -187 0
-338 126 396 0
-322 -118 -253 0
445 469 -73 0
434 -94 -124 0
-317 -311 365 0
-190 199 317 0
-456 243 -444 0
276 304 77 0
-288 -70 -377 0
-83 387 301 0
-234 256 -41 0
91 417 360 0
-343 264 359 0
67 474 -175 0
378 -192 -21 0
-333 -264 -493 0
-236 -447 -307 0
317 140 366 0
269 31 446 0
-477 -180 -467 0
446 104 -218 0
-296 -142 312 0
-470 267 97 0
-123 253 -214 0
72 -446 -326 0
321 12 -149 0
-72 221 365 0
73 -412 200 0
449 159 105 0
288 261 -126 0
227 -247 -477 0
64 -229 -178 0
-223 -484 260 0
87 304 429 0
48 159 62 0
-342 -218 222 0
466 -418 -59 0
212 314 -330 0
179 20 -366 0
72 -363 366 0
-189 -485 92 0
294 211 133 0
-434 -498 304 0
-62 353 -303 0
-63 144 337 0
72 -393 -134 0
216 414 273 0
-333 -294 154 0
254 25 182 0
-113 -418 313 0
83 -448 -34 0
397 74 -163 0
-138 -158 -380 0
-475 -280 -134 0
79 6 -445 0
-19 -431 318 0
-325 -451 360 0
-449 6 310 0
-449 87 -95 0
-356 13 388 0
-114 69 -233 0
-317 -348 327 0
267 215 -200 0
371 -77 -268 0
33 388 -179 0
329 -284 -322 0
-75 -34 -280 0
-351 366 343 0
160 433 207 0
-145 -426 -242 0
-63 190 205 0
-262 -150 -368 0
-342 284 176 0
446 -323 283 0
-81 334 381 0
159 413 -382 0
-205 -427 -392 0
14 4 -482 0
10 152 303 0
476 158 334 0
324 -408 -443 0
-252 264 153 0
222 -197 -382 0
454 -469 -263 0
-298 29 -354 0
26 -94 257 0
-245 59 -392 0
182 147 156 0
-273 457 -74 0
-459 339 -327 0
78 -83 -91 0
144 -302 -288 0
-334 180 108 0
-451 264 -208 0
377 -31 384 0
-132 415 326 0
-214 472 90 0
-149 72 -275 0
113 -170 -81 0
204 340 -277 0
-111 -189 341 0
356 -477 40 0
-69 -394 -331 0
-308 250 -317 0
-209 -409 -108 0
359 448 -349 0
-190 -326 482 0
266 -199 -95 0
-382 -253 448 0
-476 -95 -233 0
92 423 35 0
-138 388 -42 0
338 -312 473 0
-263 265 461 0
-157 -303 90 0
-209 -323 -476 0
169 9 264 0
463 -315 60 0
166 191 388 0
-335 -150 319 0
169 -144 372 0
-33 476 -8 0
350 -491 83 0
454 -391 -370 0
222 -345 -453 0
164 435 -474 0
-266 183 29 0
299 43 -344 0
373 -444 -374 0
14 80 -315 0
-120 -157 -185 0
62 205 306 0
-304 -71 118 0
-308 -370 -330 0
390 -387 -46 0
97 -457 402 0
445 8 397 0
-32 -283 493 0
-298 350 294 0
225 -378 242 0
-36 79 266 0
-478 98 164 0
351 -368 398 0
-165 157 439 0
447 -213 226 0
-56 220 -385 0
-443 149 -475 0
-464 -197 161 0
57 -175 -294 0
-366 -283 144 0
-257 -417 -66 0
155 499 -297 0
310 291 -358 0
169 362 154 0
-474 449 478 0
475 -319 -305 0
495 -291 -372 0
166 -282 454 0
-200 -336 293 0
450 405 -386 0
407 -172 367 0
-425 -229 -70 0
-74 90 404 0
-409 197 298 0
-495 471 436 0
268 -65 -33 0
-77 49 -177 0
109 206 -208 0
109 -408 -260 0
-191 176 82 0
-94 -142 189 0
332 -376 183 0
-405 307 423 0
-238 -414 232 0
348 -486 -215 0
-414 459 357 0
54 257 -237 0
-300 18 -186 0
-111 155 104 0
-466 82 25 0
250 -412 59 0
122 -343 -397 0
-437 -380 -103 0
105 85 389 0
200 -59 175 0
247 445 136 0
-235 324 -455 0
213 39 398 0
387 56 97 0
282 358 292 0
83 -348 -75 0
-134 346 -5 0
-459 472 -161 0
260 -30 -225 0
-416 -18 -185 0
15 91 -240 0
328 -319 -332 0
-357 -101 -441 0
176 18 393 0
-204 202 -145 0
-478 -76 441 0
-142 -12 -13 0
-104 229 5 0
333 224 17 0
299 65 -421 0
-477 -350 -294 0
119 278 143 0
-227 -448 -497 0
334 109 -488 0
-490 -132 398 0
163 410 477 0
-281 -398 -180 0
49 19 -421 0
164 -152 447 0
118 455 378 0
283 -305 487 0
-294 -347 -12 0
-244 -428 -137 0
260 163 164 0
486 -267 -422 0
-224 -135 -68 0
-421 364 100 0
-190 -207 462 0
-292 -323 197 0
-292 -361 327 0
111 -23 -217 0
93 219 438 0
-146 -372 429 0
35 -101 -428 0
368 -284 487 0
-60 288 -479 0
-289 -269 422 0
-157 -100 390 0
466 270 414 0
-388 410 226 0
-388 151 -14 0
-396 -454 415 0
235 -179 -44 0
292 -374 444 0
-483 -368 -466 0
-259 14 56 0
492 -310 176 0
336 476 304 0
-150 -237 -232 0
369 -79 463 0
466 -376 -200 0
-3 -265 392 0
442 -220 54 0
487 -250 -204 0
-350 136 52 0
-382 20 -455 0
-352 34 -121 0
191 407 -186 0
-66 190 129 0
-167 -39 23 0
255 -468 -233 0
173 -207 63 0
-398 323 -389 0
184 44 241 0
209 354 139 0
-237 259 -450 0
-364 -224 -437 0
136 347 -357 0
115 363 -457 0
185 -364 -290 0
199 -385 457 0
243 -76 -247 0
318 -494 22 0
-479 -406 79 0
-171 94 280 0
341 -331 -152 0
250 376 273 0
465 9 451 0
276 -427 -217 0
447 -459 338 0
182 -80 -412 0
-184 123 -383 0
-409 -337 449 0
-377 -456 257 0
72 44 -89 0
-289 141 -106 0
-44 -250 -417 0
-86 242 -446 0
32 -310 384 0
-493 -296 181 0
-331 -73 48 0
455 267 -173 0
456 -87 76 0
-451 227 -487 0
162 149 403 0
58 75 25 0
90 74 331 0
-146 -322 225 0
483 -134 34 0
408 22 435 0
-470 -384 167 0
-472 11 359 0
-207 -486 445 0
418 195 -12 0
-122 -234 -256 0
186 -395 -401 0
270 414 465 0
224 -230 -111 0
307 452 400 0
-219 126 231 0
-325 158 272 0
-136 396 -2 0
-131 367 214 0
423 -214 244 0
190 142 -236 0
198 -197 457 0
-58 327 -491 0
92 63 -244 0
-426 31 -181 0
-179 382 -50 0
112 237 176 0
-384 -122 142 0
-223 -406 249 0
257 476 -70 0
-381 52 -383 0
347 480 -468 0
-277 -12 31 0
-150 -65 -297 0
195 307 -319 0
-207 -175 -406 0
211 1 81 0
-45 -419 351 0
282 359 288 0
-129 249 -382 0
1 485 440 0
-237 107 -199 0
-276 -52 -36 0
-5 396 283 0
487 -102 -99 0
376 -90 67 0
-164 -333 -454 0
116 254 -56 0
-165 194 231 0
-110 -223 209 0
-137 -320 -70 0
-145 31 -248 0
418 99 118 0
194 -168 -181 0
343 -311 -55 0
-443 19 121 0
244 -401 205 0
-105 -442 317 0
-134 -361 -385 0
-316 165 -344 0
150 -477 143 0
-468 -386 -441 0
-96 195 -100 0
34 -488 -414 0
-251 321 340 0
198 -231 -476 0
-298 422 57 0
-327 55 -57 0
-291 -141 -19 0
178 370 467 0
-321 -107 -207 0
331 -197 41 0
-391 -489 -335 0
80 -282 -188 0
344 127 347 0
-176 277 -6 0
-347 72 -82 0
267 -227 -236 0
-295 -348 -265 0
80 206 -341 0
-85 -287 -158 0
-198 -294 6 0
-119 460 200 0
207 226 -93 0
43 -419 -409 0
414 -256 -130 0
-421 -487 -206 0
-430 -105 309 0
277 -183 160 0
133 -267 463 0
-145 398 -120 0
196 -458 -66 0
-174 485 -161 0
1 446 -233 0
-455 -137 -27 0
-53 -121 136 0
-90 279 253 0
1 392 -427 0
181 426 -408 0
400 -202 -248 0
490 410 47 0
93 -122 -253 0
283 -56 83 0
46 117 -67 0
-292 39 137 0
-410 423 424 0
16 -157 332 0
-260 -51 -116 0
-441 -217 -50 0
-235 -130 -49 0
444 453 -421 0
428 -169 -136 0
365 -430 94 0
478 -54 188 0
-456 -355 -156 0
-191 -118 -236 0
14 256 -469 0
-256 -92 -478 0
-349 -255 215 0
-152 -397 -296 0
301 82 169 0
-262 -354 395 0
-217 -331 -318 0
-500 207 -71 0
-141 -238 88 0
446 28 -457 0
113 -260 -417 0
-231 -80 333 0
-43 147 -481 0
-215 248 -168 0
55 251 -376 0
-408 -191 -38 0
226 150 -115 0
-46 -324 -496 0
388 37 -197 0
-436 -218 384 0
-313 -181 -133 0
126 -206 -31 0
452 -68 -129 0
-127 -353 359 0
357 479 273 0
406 -393 48 0
-113 -384 -118 0
494 -441 296 0
419 77 -232 0
418 -325 -470 0
410 -32 -318 0
-9 -84 -18 0
-425 -348 -299 0
-283 -392 -428 0
-467 -57 340 0
-438 -274 27 0
-265 237 -274 0
88 309 304 0
439 -320 386 0
-477 145 77 0
-146 279 -470 0
474 182 359 0
435 -386 -126 0
242 -47 -227 0
-19 -173 -354 0
-239 -316 495 0
-132 -364 -231 0
349 469 279 0
-314 -88 -309 0
-128 103 411 0
48 310 201 0
483 -184 -18 0
-368 308 279 0
-19 -366 -380 0
-140 10 499 0
256 50 65 0
134 -272 -52 0
-245 228 19 0
-134 358 121 0
90 -292 330 0
10 444 151 0
127 215 457 0
465 85 83 0
-65 -167 484 0
-356 163 -105 0
-152 -490 279 0
70 403 -314 0
-71 -147 -198 0
-454 300 347 0
-377 11 259 0
343 381 248 0
-480 -289 432 0
437 -309 173 0
181 -402 425 0
-358 203 218 0
182 317 234 0
154 -432 132 0
-425 279 -433 0
68 -453 44 0
497 -213 -315 0
-278 275 -352 0
40 416 -33 0
-115 362 371 0
-449 125 -471 0
468 118 -364 0
174 23 -117 0
-398 -38 3 0
-399 165 -331 0
403 -480 -109 0
-98 -26 4 0
-168 426 -28 0
194 135 365 0
-330 290 -496 0
-397 -90 465 0
-322 -497 -292 0
-365 162 -395 0
-177 167 271 0
-85 363 447 0
127 -356 -179 0
436 -192 403 0
-404 279 -267 0
-280 295 435 0
92 189 -266 0
377 293 -239 0
367 -135 -239 0
404 215 -3 0
-90 89 -173 0
439 -80 290 0
-326 -286 -189 0
218 74 396 0
-449 -343 293 0
232 268 139 0
222 -467 32 0
61 -245 196 0
112 482 -101 0
-328 273 191 0
444 -243 -80 0
-34 -230 150 0
-7 107 -182 0
334 348 33 0
158 258 -390 0
-97 366 143 0
-126 223 11 0
84 425 170 0
292 276 -181 0
141 483 212 0
-74 -315 -221 0
-329 63 303 0
366 -426 342 0
-162 493 176 0
486 189 -48 0
-51 -497 -98 0
322 166 18 0
336 -310 140 0
-187 -172 -361 0
388 210 -21 0
175 26 -197 0
484 -270 -245 0
152 372 463 0
-149 65 -24 0
270 144 77 0
-232 266 -448 0
498 -361 -389 0
-89 -126 213 0
122 390 -370 0
272 186 -491 0
220 157 -452 0
-136 -10 46 0
286 223 -194 0
36 349 332 0
-321 52 -452 0
-359 -103 229 0
191 120 124 0
259 58 -427 0
400 432 252 0
176 -479 320 0
256 406 4 0
321 267 -437 0
-389 473 -324 0
171 -388 -59 0
275 -360 -73 0
442 -498 -381 0
-221 -406 311 0
-29 -279 178 0
101 -161 448 0
-234 269 249 0
188 92 154 0
264 -67 309 0
145 -399 -118 0
253 315 332 0
31 203 -358 0
-24 -487 396 0
299 -416 -70 0
453 -289 91 0
-17 -286 -79 0
-96 227 225 0
-305 487 -447 0
-225 -203 310 0
381 -257 187 0
-115 -491 219 0
136 -71 -327 0
-497 26 -424 0
74 -41 240 0
-343 101 368 0
-454 -285 -33 0
-9 3 -414 0
357 -122 50 0
-496 -238 30 0
476 -205 331 0
-417 345 -194 0
421 158 -114 0
316 -116 -391 0
453 -394 370 0
320 -366 37 0
-242 -483 56 0
-373 288 61 0
-415 -437 -258 0
-134 455 492 0
238 -313 221 0
32 50 315 0
-172 -122 493 0
138 -382 133 0
-347 42 -284 0
447 289 489 0
-3 -25 -123 0
198 -86 34 0
-209 419 331 0
145 -50 -499 0
458 -433 290 0
160 -496 8 0
-77 -5 -123 0
470 228 436 0
440 189 286 0
186 75 293 0
-471 -171 388 0
259 -250 -387 0
-223 37 8 0
492 323 77 0
-67 -395 -102 0
-340 268 -4 0
459 -455 366 0
-381 21 311 0
-431 133 -36 0
74 3 -445 0
-409 -192 40 0
443 -415 -96 0
181 -200 40 0
342 81 220 0
-170 -205 -305 0
-434 377 -444 0
-64 -434 -416 0
-436 -271 363 0
19 -8 358 0
-275 421 -214 0
349 56 19 0
181 -439 -206 0
-376 281 294 0
-273 385 74 0
395 -206 337 0
213 343 -470 0
-494 -25 437 0
157 -365 -50 0
425 429 -219 0
411 -274 169 0
258 398 -163 0
-446 -76 -236 0
42 335 -287 0
-471 -2 -72 0
-357 289 201 0
-182 310 -458 0
428 177 265 0
169 49 -204 0
255 309 234 0
-426 -172 78 0
306 -434 -32 0
-184 458 346 0
229 -345 -62 0
-451 -405 317 0
-208 53 -52 0
-209 296 107 0
-350 5 -139 0
423 104 -190 0
280 -159 463 0
466 133 -290 0
-261 36 114 0
95 372 -258 0
497 -225 -261 0
-44 -465 369 0
199 -219 204 0
7 -334 182 0
318 487 -434 0
-497 -246 424 0
389 353 135 0
242 37 -468 0
251 -232 -162 0
-152 89 -467 0
6 -126 -123 0
-321 -460 80 0
-174 155 122 0
-385 -344 395 0
212 35 467 0
487 -348 -334 0
-241 351 178 0
94 -29 399 0
148 220 -109 0
234 -477 -436 0
489 27 -67 0
113 477 217 0
-426 -170 269 0
-463 -272 296 0
-2 -311 175 0
-90 41 -203 0
300 -60 340 0
368 -471 -300 0
388 18 -74 0
118 346 272 0
-174 67 -171 0
210 -85 397 0
188 197 210 0
-68 -439 -373 0
-411 -183 -242 0
89 -332 -469 0
-487 -293 103 0
-33 -354 302 0
367 276 156 0
-373 316 -61 0
220 -426 -147 0
106 -6 -478 0
-427 -110 158 0
216 -181 -258 0
328 140 -154 0
36 141 267 0
276 167 -479 0
473 83 47 0
389 480 246 0
320 329 127 0
72 -443 -134 0
30 27 -134 0
434 -436 184 0
-108 -148 287 0
57 63 -199 0
-349 -383 -485 0
126 -470 421 0
-1 -275 104 0
175 -425 -50 0
463 457 493 0
-230 -373 486 0
-230 -152 198 0
-405 38 163 0
-142 499 -279 0
362 494 440 0
385 30 500 0
-92 24 145 0
-52 -149 428 0
1 -223 -119 0
-490 99 304 0
-305 9 266 0
-456 80 -5 0
79 63 -470 0
199 14 -257 0
-348 17 320 0
204 -262 -368 0
-84 204 -420 0
-73 198 -39 0
72 121 -398 0
-92 -476 154 0
-184 -396 -394 0
317 -140 -4 0
-472 265 -435 0
-433 465 -69 0
90 315 -62 0
-430 402 -17 0
-372 -30 -212 0
-474 -438 -324 0
465 185 -96 0
93 -305 -84 0
-418 -240 -73 0
-277 -135 86 0
-289 -429 -183 0
241 -387 -275 0
294 -40 -114 0
-201 -171 -59 0
-150 265 41 0
443 -306 129 0
253 -38 267 0
-408 -326 -1 0
-242 -128 498 0
281 -469 146 0
-427 163 147 0
196 314 -240 0
-247 354 -126 0
-217 291 292 0
-424 64 -478 0
162 209 -427 0
77 -283 -257 0
-397 221 391 0
131 -467 282 0
-222 -205 -158 0
494 263 -409 0
-13 314 -452 0
40 134 -81 0
404 398 388 0
-91 -204 456 0
-252 -189 -96 0
84 255 -171 0
165 487 -482 0
230 127 -93 0
-317 304 67 0
-161 435 -78 0
-16 57 -240 0
298 -443 475 0
-242 -76 -96 0
250 -45 -489 0
-14 451 -353 0
-364 205 -296 0
49 35 -289 0
-340 401 308 0
-93 33 23 0
434 52 221 0
357 -352 -451 0
119 187 166 0
212 253 464 0
-112 372 442 0
-94 307 -376 0
320 442 438 0
466 336 -182 0
83 137 400 0
-50 -188 101 0
-13 -17 206 0
-205 448 -441 0
-213 482 -228 0
-90 254 -22 0
-34 -386 -408 0
-230 427 -428 0
-344 206 103 0
-203 63 -223 0
323 63 124 0
-123 57 -208 0
-435 236 252 0
-63 -69 -165 0
19 268 -204 0
-424 360 338 0
293 -47 -202 0
366 -493 -240 0
152 484 -422 0
205 -39 208 0
111 -90 -406 0
-387 -213 -182 0
315 -207 296 0
-45 330 -31 0
-24 -355 329 0
62 219 185 0
-62 10 -290 0
210 -137 -192 0
-110 -480 -275 0
-417 250 -160 0
190 -371 -470 0
-499 -325 96 0
-92 -77 391 0
440 -367 -433 0
260 218 -319 0
140 427 189 0
-99 453 -7 0
172 429 474 0
24 -110 -159 0
220 115 -19 0
353 -452 -273 0
157 363 -6 0
335 45 -410 0
-361 413 149 0
-176 -168 394 0
-150 -221 -466 0
56 -93 -3 0
353 -298 -27 0
-135 -457 291 0
210 -251 32 0
-278 172 -475 0
22 235 211 0
105 -17 -44 0
-128 -356 457 0
-314 259 -140 0
-143 79 -309 0
-214 -9 359 0
235 340 345 0
-176 -153 -232 0
-194 136 -152 0
-267 -304 -412 0
298 -251 -153 0
-150 -461 -264 0
106 -231 -402 0
188 -51 376 0
273 -202 98 0
-461 449 141 0
-144 -351 -84 0
-33 -327 -309 0
240 448 -94 0
165 -353 -6 0
35 -298 396 0
-45 -345 -117 0
44 -316 204 0
85 16 291 0
70 437 -78 0
-413 42 205 0
45 -126 14 0
-136 345 330 0
-177 442 417 0
-362 113 -62 0
103 69 -400 0
481 -9 -197 0
29 76 81 0
306 95 -110 0
-453 -293 -113 0
348 -256 -4 0
281 253 189 0
347 -345 399 0
-206 381 -139 0
364 -376 476 0
282 -336 -349 0
-313 -40 -300 0
-309 -278 -366 0
-216 424 104 0
161 48 -480 0
-459 -62 -268 0
-188 332 304 0
396 -139 303 0
-64 -235 172 0
227 33 78 0
460 64 -312 0
306 -144 -256 0
13 -61 162 0
-456 246 -439 0
-11 16 364 0
-162 244 -16 0
496 378 -419 0
46 -147 -286 0
-495 368 142 0
147 277 442 0
311 -231 -375 0
100 117 -401 0
-339 64 51 0
344 285 -496 0
236 -445 398 0
240 -497 119 0
-12 27 34 0
-350 89 4 0
190 -208 -488 0
181 118 -106 0
206 420 277 0
452 488 -429 0
-75 78 -244 0
-208 -306 336 0
-308 384 45 0
100 251 94 0
376 52 -468 0
272 299 -357 0
-378 -365 -73 0
66 407 -436 0
-243 -378 -356 0
-451 329 145 0
-325 348 425 0
-44 -373 -172 0
-300 366 79 0
37 400 13 0
409 -157 -128 0
480 -57 255 0
-37 -290 480 0
-414 372 -30 0
-472 -398 2 0
-322 297 -324 0
25 -392 20 0
-207 119 -480 0
-310 -163 -226 0
-87 -438 -396 0
331 -392 200 0
-105 328 -299 0
-279 205 -188 0
477 -488 54 0
-287 339 -161 0
-89 232 60 0
-72 64 499 0
-422 -428 330 0
371 -295 -263 0
170 251 414 0
-332 -120 -101 0
-349 84 225 0
336 23 258 0
-382 19 -418 0
-500 386 260 0
-357 -207 100 0
29 -128 397 0
235 -404 -466 0
497 464 295 0
134 287 425 0
-128 -437 -146 0
246 269 -259 0
-430 48 325 0
-60 391 -25 0
373 403 46 0
485 209 -88 0
338 155 -12 0
-186 -273 -130 0
-200 -18 -377 0
478 -33 45 0
303 1 -127 0
77 266 130 0
340 372 -404 0
-388 -460 -166 0
-351 34 -39 0
-240 370 218 0
-422 -143 35 0
494 -266 -471 0
471 -327 -19 0
-49 -238 174 0
-298 -216 -290 0
475 477 -334 0
-101 -363 83 0
-371 -403 -215 0
307 -115 -105 0
-99 -357 -267 0
-466 -275 -295 0
-84 -435 -232 0
438 -167 465 0
428 499 128 0
339 63 -484 0
342 16 23 0
407 -176 200 0
-61 272 -226 0
-336 381 -277 0
-18 -465 -257 0
-73 365 -399 0
353 193 469 0
493 -317 -18 0
-258 256 490 0
-438 106 381 0
-446 61 -497 0
-349 -172 -3 0
112 21 -264 0
82 167 352 0
-124 17 -188 0
230 -227 469 0
55 267 -202 0
181 -92 -60 0
-485 -244 -450 0
-75 159 -79 0
-262 318 -107 0
-487 4 471 0
-300 239 -188 0
156 -443 -484 0
36 426 22 0
139 272 42 0
-156 -448 206 0
-250 -455 -32 0
350 -88 384 0
-6 178 244 0
-415 16 468 0
-118 -384 -431 0
-310 -322 147 0
-437 -137 -59 0
367 -278 -373 0
-104 291 -177 0
-376 -124 -214 0
56 -247 -238 0
-363 -301 7 0
284 162 164 0
-417 -21 -135 0
196 -189 -143 0
356 36 -80 0
-4 310 95 0
214 360 -293 0
39 -133 393 0
-477 451 336 0
-53 103 146 0
212 176 347 0
-367 358 -190 0
227 65 198 0
-189 -284 -491 0
-267 -337 491 0
450 -406 -150 0
310 -422 -387 0
361 -263 488 0
-42 -207 -243 0
-300 -424 -143 0
-49 -206 190 0
438 -130 279 0
-308 -100 -343 0
-224 45 499 0
79 285 -233 0
-316 205 -355 0
-88 -20 128 0
-219 -268 -104 0
235 -142 257 0
-433 215 -178 0
-414 -4 -439 0
-317 270 249 0
-98 268 113 0
46 119 -91 0
-18 469 -96 0
333 377 -494 0
275 224 -106 0
190 -119 -338 0
382 -302 -18 0
19 -21 -145 0
-117 83 166 0
-342 246 -75 0
-172 195 -28 0
-216 -325 382 0
-412 250 283 0
-365 343 -164 0
-414 439 -28 0
-13 -325 -265 0
131 171 -219 0
-201 394 -273 0
-413 -191 174 0
287 474 15 0
119 -258 482 0
324 429 264 0
-208 -259 347 0
266 -276 -348 0
-160 -405 -420 0
378 321 -316 0
198 -77 364 0
-104 -434 42 0
274 -15 100 0
-225 349 70 0
292 315 -266 0
-104 39 296 0
-23 28 -81 0
-94 343 -67 0
-350 149 5 0
434 140 -185 0
-105 -72 157 0
-215 -108 -321 0
359 464 -244 0
173 458 -23 0
-4 423 111 0
-143 -252 419 0
405 455 -142 0
-321 -440 -268 0
-3 337 -47 0
31 -39 461 0
6 340 41 0
-140 326 -10 0
255 113 -376 0
388 -198 245 0
309 483 -342 0
-480 105 401 0
140 -72 228 0
442 -319 334 0
142 436 298 0
17 283 -212 0
-78 -453 279 0
-283 -235 422 0
-471 436 213 0
426 -130 473 0
356 129 112 0
458 -411 -142 0
-338 154 369 0
306 -181 46 0
247 -205 -416 0
54 -221 36 0
-239 166 496 0
37 -1 -412 0
179 -428 246 0
-129 -387 195 0
418 -305 -17 0
-120 170 -258 0
-271 -250 5 0
-352 230 -119 0
433 -205 316 0
-434 -500 441 0
-53 47 -297 0
-479 146 230 0
50 125 -370 0
454 41 -132 0
-490 -231 98 0
65 178 -33 0
-96 -454 419 0
30 -322 247 0
109 315 -303 0
-348 -253 -460 0
101 -493 -330 0
-466 247 -384 0
171 -434 209 0
146 64 -451 0
2 363 -338 0
-303 -202 -442 0
-258 -378 185 0
410 424 -385 0
-366 -384 265 0
398 -372 -26 0
-299 -493 -2 0
254 -224 -387 0
72 -266 198 0
-274 -361 -96 0
408 361 -96 0
-223 280 -436 0
141 -131 -188 0
102 351 97 0
139 -164 434 0
445 -404 -17 0
41 451 10 0
-428 330 285 0
128 -132 -70 0
304 -270 -44 0
-235 -105 -276 0
-300 -201 473 0
32 243 187 0
142 309 436 0
477 373 -275 0
339 -212 270 0
11 -297 -146 0
-443 189 424 0
29 -54 -79 0
153 221 399 0
17 83 95 0
-392 223 -212 0
266 188 254 0
-265 198 188 0
350 45 -219 0
392 478 163 0
-198 -211 -115 0
360 -276 173 0
135 98 99 0
116 169 -219 0
-271 199 184 0
-406 -192 -390 0
-208 64 -93 0
486 -122 428 0
-341 -107 225 0
25 226 71 0
137 266 388 0
324 348 202 0
377 417 432 0
483 -418 -269 0
226 466 218 0
161 268 -381 0
147 58 348 0
458 98 -393 0
-257 498 338 0
-157 -145 -243 0
274 -236 -488 0
-6 326 -96 0
-169 -429 -167 0
335 396 426 0
-230 179 195 0
-195 -254 -285 0
58 -238 -432 0
173 -375 -41 0
132 71 -66 0
-500 -442 -489 0
392 7 201 0
355 -308 356 0
321 -475 44 0
-317 -476 103 0
449 73 176 0
211 -295 487 0
400 453 -497 0
-179 -213 -217 0
5 334 -37 0
-191 389 61 0
-34 -88 29 0
-176 479 -494 0
179 -224 -439 0
250 205 -15 0
469 89 228 0
215 -46 169 0
500 487 197 0
-295 -141 494 0
135 -51 275 0
-384 -171 296 0
453 -393 163 0
-38 -64 -65 0
-373 95 -112 0
403 32 327 0
26 36 312 0
-261 -274 321 0
399 31 160 0
99 210 -201 0
358 -324 348 0
-16 490 323 0
72 418 321 0
-237 -412 -21 0
410 472 -186 0
491 -244 -316 0
-338 61 122 0
-212 -88 -417 0
-30 282 114 0
-16 15 348 0
284 248 -15 0
-230 -106 294 0
65 279 -473 0
-487 -295 -113 0
-279 485 -429 0
-319 471 -189 0
-72 -116 392 0
-190 83 347 0
-278 -282 -28 0
404 292 -423 0
251 338 159 0
391 214 -300 0
181 392 90 0
-214 394 -482 0
-345 465 -231 0
-154 -137 -98 0
356 395 225 0
245 481 279 0
103 19 -471 0
-181 -185 -296 0
437 -277 444 0
-20 -48 381 0
-66 -212 464 0
86 176 -221 0
-473 -92 -140 0
290 -423 -499 0
351 -146 234 0
-332 -155 -4 0
72 267 181 0
154 -211 -118 0
-264 373 -98 0
-351 124 -413 0
430 228 211 0
-431 230 -306 0
-388 223 -209 0
310 299 -390 0
55 181 409 0
-314 -329 119 0
-334 -76 -318 0
-276 -68 -373 0
-60 -194 -381 0
-481 -368 63 0
-477 -397 80 0
61 34 223 0
445 -134 -88 0
314 -212 84 0
38 353 -26 0
-269 315 -161 0
-40 -276 275 0
-13 379 -7 0
218 207 -455 0
144 -183 433 0
126 -329 495 0
117 -399 -295 0
-103 -141 -257 0
-199 111 159 0
-480 191 -200 0
-283 -233 417 0
-177 397 -133 0
-493 -228 -200 0
-301 327 233 0
-303 -168 -131 0
-200 47 310 0
-174 -343 -119 0
492 -329 -41 0
176 -270 335 0
95 64 42 0
76 -36 -283 0
489 -401 -216 0
-447 -339 475 0
-461 315 -500 0
-254 -91 -286 0
389 -230 -372 0
485 -198 96 0
348 -314 367 0
-235 -278 417 0
-87 143 -135 0
-361 187 -403 0
-65 371 -63 0
385 -139 -109 0
-457 220 -251 0
88 430 295 0
285 188 74 0
-77 -275 41 0
485 156 -313 0
103 445 476 0
-12 -249 493 0
-274 147 289 0
-487 339 192 0
-333 -419 -43 0
469 57 -391 0
231 376 97 0
453 -97 315 0
455 -109 -361 0
416 -10 395 0
187 -81 109 0
-457 -423 -212 0
436 -287 -21 0
23 485 -70 0
-317 -147 -173 0
401 -227 -288 0
351 -279 297 0
-419 401 -266 0
471 -82 103 0
-403 212 144 0
-488 175 17 0
487 -475 304 0
153 438 -258 0
-493 49 -393 0
-192 -94 96 0
-42 274 63 0
19 -301 127 0
116 -242 -292 0
392 -146 142 0
309 -180 227 0
60 -82 -118 0
-140 10 -42 0
377 73 -499 0
5 72 -411 0
48 290 248 0
12 24 -308 0
-65 -202 478 0
30 98 11 0
-259 170 451 0
198 -48 -377 0
-327 202 -462 0
118 64 -349 0
310 -433 -13 0
-132 200 -111 0
-193 -36 -56 0
-324 -122 -384 0
-31 151 301 0
309 314 -331 0
-305 422 -426 0
-329 283 398 0
-477 331 -53 0
165 -154 -81 0
-192 410 -231 0
-52 -457 -281 0
-316 -107 -290 0
336 225 259 0
-303 6 413 0
-118 -192 -210 0
-439 -338 453 0
278 400 121 0
228 -39 329 0
-54 -296 225 0
-433 416 -447 0
-422 491 -389 0
-43 134 -344 0
463 237 304 0
411 500 -433 0
483 179 -199 0
-70 -277 -446 0
335 492 181 0
153 434 -389 0
-471 172 123 0
-105 160 307 0
-460 244 80 0
-244 -34 8 0
-73 -227 324 0
26 475 -393 0
104 172 67 0
-119 286 -114 0
420 133 437 0
130 -79 297 0
465 -71 -393 0
-410 -7 18 0
273 500 47 0
-294 -43 -189 0
-2 -408 -421 0
-363 -189 118 0
-199 77 -414 0
170 202 -123 0
-222 -26 -249 0
297 356 375 0
474 315 -468 0
-207 -269 -17 0
-284 107 282 0
33 -3 23 0
294 329 302 0
-78 202 -109 0
142 473 -76 0
305 -405 213 0
-215 302 132 0
-252 -114 65 0
261 73 -49 0
78 84 189 0
5 31 -21 0
-69 261 -496 0
267 80 427 0
-105 467 -127 0
-401 -355 113 0
407 402 -335 0
-287 330 -248 0
452 214 -293 0
14 252 29 0
-287 98 214 0
-422 -90 -434 0
446 76 -169 0
-235 -184 -196 0
-274 -423 255 0
426 -444 -58 0
155 -238 -452 0
-469 262 -133 0
424 46 148 0
-163 349 -83 0
-310 -410 377 0
-179 -334 -250 0
128 235 328 0
209 137 -353 0
-13 -60 230 0
-256 388 -119 0
-436 134 9 0
68 -303 -74 0
273 165 167 0
-37 -259 343 0
274 388 -246 0
-460 -124 442 0
477 -130 -416 0
-176 -288 -354 0
-140 -357 -108 0
-321 -289 -486 0
-364 312 60 0
-143 117 128 0
-210 -393 119 0
-136 302 234 0
476 -174 33 0
87 -209 363 0
-299 -320 292 0
-194 245 -90 0
278 96 217 0
296 322 -178 0
71 -440 171 0
160 412 454 0
447 337 414 0
395 -248 -460 0
-163 -382 352 0
338 -132 -449 0
96 328 -54 0
237 -435 103 0
210 -242 -38 0
-36 -159 -483 0
-332 -123 -114 0
-164 39 -9 0
-144 -211 480 0
-164 -278 -287 0
468 -58 170 0
43 -330 55 0
-30 -145 155 0
366 181 -482 0
147 -168 -249 0
291 108 -130 0
201 -406 20 0
43 26 301 0
-412 323 -499 0
105 407 -147 0
327 -480 83 0
-275 218 184 0
323 -479 -327 0
6 -369 188 0
254 -58 90 0
126 -75 175 0
-484 -309 157 0
-251 -70 176 0
442 -201 -407 0
-56 -148 -252 0
340 8 63 0
-101 461 -439 0
401 -294 -397 0
-117 -86 414 0
-234 238 -147 0
311 -22 380 0
274 461 -354 0
-25 44 -182 0
-285 -120 -341 0
-482 349 -357 0
130 223 -274 0
237 -138 156 0
-490 293 -44 0
375 22 -396 0
-310 120 22 0
-306 143 182 0
39 243 54 0
158 17 -240 0
293 228 -403 0
387 177 -349 0
487 492 -242 0
308 -109 -135 0
421 -207 -368 0
413 -349 279 0
331 -192 -298 0
20 329 -492 0
-127 479 304 0
431 -36 382 0
-110 -127 472 0
42 -410 371 0
-313 359 341 0
279 -100 333 0
-321 164 151 0
-229 -446 -432 0
175 -497 -282 0
-477 -412 -361 0
132 450 -157 0
-4 231 295 0
-353 306 10 0
-372 -233 110 0
339 228 30 0
491 461 63 0
-448 -91 -83 0
241 82 -242 0
-478 324 433 0
444 203 120 0
-206 132 73 0
368 212 -483 0
394 -287 176 0
-483 -499 -493 0
500 -463 51 0
130 -322 58 0
-383 145 475 0
-144 -36 478 0
-376 -414 -177 0
72 -418 -146 0
-119 -385 344 0
435 -165 269 0
-410 -207 -367 0
222 -390 14 0
-103 141 472 0
435 184 -487 0
-31 313 317 0
5 -69 -8 0
462 -89 -207 0
-221 358 168 0
421 -376 414 0
444 168 -113 0
-278 79 163 0
41 -285 -157 0
100 -455 419 0
-66 100 140 0
191 -378 -465 0
344 150 -82 0
-319 -165 323 0
-198 -437 209 0
-247 -59 86 0
-158 421 -414 0
-111 -341 -489 0
-355 470 62 0
-458 380 105 0
-55 41 -224 0
-178 360 -445 0
-310 -120 42 0
418 202 -13 0
133 371 -248 0
-178 -225 394 0
-386 -63 -140 0
-327 -432 -365 0
-375 489 82 0
78 378 -63 0
272 295 124 0
-105 204 443 0
-426 140 52 0
418 206 -497 0
279 151 447 0
372 -353 -252 0
-330 347 -324 0
-340 -314 247 0
-72 -177 -324 0
121 57 93 0
152 145 460 0
-212 249 -178 0
-125 -383 444 0
-85 -363 -204 0
221 -378 -167 0
184 70 3 0
39 15 279 0
-88 82 -410 0
-189 358 309 0
-149 467 -21 0
278 39 229 0
125 -154 -377 0
-262 157 147 0
10 31 -382 0
-254 126 -408 0
-234 -24 446 0
99 381 -359 0
-65 105 96 0
80 327 315 0
-113 255 -7 0
-171 452 329 0
-366 -403 -105 0
148 276 -222 0
413 -409 78 0
-286 472 368 0
-15 417 -299 0
-66 214 -380 0
-259 220 -186 0
-449 405 -73 0
-270 2 -354 0
391 260 326 0
193 206 -375 0
-86 -435 -266 0
-384 -423 -369 0
293 -351 -138 0
232 317 -407 0
-150 63 -28 0
-217 356 334 0
470 173 112 0
280 -276 169 0
124 -2 118 0
-445 3 179 0
192 -46 -262 0
-18 -180 -87 0
60 76 270 0
146 -445 -434 0
-350 -254 -289 0
-322 -30 377 0
-413 -261 464 0
-53 400 -140 0
329 -107 338 0
140 102 -495 0
410 254 -244 0
-14 374 -381 0
-472 26 -14 0
-301 -312 -411 0
276 -270 397 0
-88 239 -10 0
-291 82 489 0
-48 -446 -109 0
-366 269 -35 0
486 -135 -160 0
-400 -417 -256 0
59 402 56 0
422 356 67 0
102 -400 -449 0
36 -469 341 0
-492 27 -242 0
-479 174 369 0
482 145 -225 0
-299 320 306 0
484 220 -209 0
239 385 -20 0
-486 345 493 0
-449 339 -219 0
109 -178 -222 0
453 219 -257 0
-34 4 -308 0
-225 105 442 0
-176 36 -364 0
398 6 259 0
351 -266 336 0
208 -436 -120 0
-180 -262 311 0
-478 -487 -130 0
-278 331 -484 0
124 125 466 0
-104 206 209 0
-330 12 253 0
-159 170 -345 0
445 182 -353 0
-305 -278 87 0
-365 236 -63 0
77 -243 42 0
-177 -345 457 0
-276 435 -395 0
-352 -105 57 0
-318 94 112 0
-372 318 407 0
356 -401 123 0
-233 188 -395 0
261 493 -338 0
-185 418 -22 0
486 430 -220 0
-411 -237 323 0
112 -333 77 0
291 31 -118 0
493 -148 -97 0
330 121 425 0
34 -176 278 0
472 289 -460 0
347 403 -338 0
-248 -169 -474 0
-217 106 -149 0
289 437 -40 0
-404 332 -161 0
-400 345 -132 0
-249 -316 -137 0
-249 3 -69 0
-352 474 -384 0
-284 -294 -448 0
21 458 -389 0
-195 -441 -13 0
-216 122 -495 0
-336 293 -470 0
188 99 -90 0
486 -422 -125 0
-403 -76 -174 0
339 51 306 0
1 -399 412 0
-418 474 484 0
-88 138 -145 0
-34 -349 -151 0
-150 -59 64 0
56 -80 -257 0
366 -394 -487 0
-481 -170 -471 0
-102 64 -327 0
-309 15 -401 0
333 101 199 0
308 435 319 0
141 -464 -144 0
-346 61 -70 0
1 51 108 0
-277 145 110 0
-191 -368 -469 0
-3 -174 489 0
-91 -170 98 0
-87 296 373 0
-248 -77 -196 0
-196 99 -60 0
-47 -98 -232 0
100 -140 190 0
426 -478 -413 0
249 453 261 0
-338 321 -50 0
-441 -85 -434 0
227 -16 -386 0
184 400 187 0
372 352 -125 0
-347 -474 -360 0
263 249 -306 0
476 291 54 0
458 82 -165 0
-167 -191 -477 0
-14 240 358 0
-103 214 256 0
-442 -98 281 0
465 -374 -393 0
398 333 -18 0
259 -492 -421 0
404 255 -376 0
-329 -458 335 0
340 123 -457 0
208 176 116 0